翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Serre conjecture (number theory) : ウィキペディア英語版
Serre's modularity conjecture
In mathematics, Serre's modularity conjecture, introduced by Jean-Pierre Serre , states that an odd, irreducible, two-dimensional Galois representation over a finite field arises from a modular form, and a stronger version of his conjecture specifies the weight and level of the modular form. It was proved by Chandrashekhar Khare in the level 1 case,〔.〕 in 2005 and later in 2008 a proof of the full conjecture was worked out jointly by Khare and Jean-Pierre Wintenberger.〔 and .〕
==Formulation==

The conjecture concerns the absolute Galois group G_\mathbb of the rational number field \mathbb.
Let \rho be an absolutely irreducible, continuous, two-dimensional representation of G_\mathbb over a finite field F = \mathbb_.
: \rho: G_\mathbb \rightarrow \mathrm_2(F).\
Additionally, assume \rho is odd, meaning the image of complex conjugation has determinant -1.
To any normalized modular eigenform
: f = q+a_2q^2+a_3q^3+\cdots\
of level N=N(\rho) , weight k=k(\rho) , and some Nebentype character
: \chi : \mathbb/N\mathbb \rightarrow F^
*\ ,
a theorem due to Shimura, Deligne, and Serre-Deligne attaches to f a representation
: \rho_f: G_\mathbb \rightarrow \mathrm_2(\mathcal),\
where \mathcal is the ring of integers in a finite extension of \mathbb_\ell . This representation is characterized by the condition that for all prime numbers p, coprime to N\ell we have
: \operatorname(\rho_f(\operatorname_p))=a_p\
and
: \det(\rho_f(\operatorname_p))=p^ \chi(p).\
Reducing this representation modulo the maximal ideal of \mathcal gives a mod \ell representation \overline of G_\mathbb .
Serre's conjecture asserts that for any \rho as above, there is a modular eigenform f such that
: \overline \cong \rho .
The level and weight of the conjectural form f are explicitly calculated in Serre's article. In addition, he derives a number of results from this conjecture, among them Fermat's Last Theorem and the now-proven Taniyama–Weil (or Taniyama–Shimura) conjecture, now known as the modularity theorem (although this implies Fermat's Last Theorem, Serre proves it directly from his conjecture).

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Serre's modularity conjecture」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.